\subsection{TAD \tadNombre{itListaInfoUsuario}}

$\\$
\textbf{TAD} infoUsuario \textbf{es} Tupla(ListaOrd, ListaOrd, secu(puntero(infoUsuario)), conj(usuario), pais) $\\$
\textbf{donde} $\pi_1$ \textbf{es} visibles, $\pi_2$ \textbf{es} publicados, $\pi_3$ \textbf{es} amigos, $\pi_4$ \textbf{es} solicitudes y $\pi_5$ \textbf{es} pais$\\$
\textbf{TAD} Usuario \textbf{es} string$\\$
\textbf{TAD} Pais \textbf{es} nat$\\$

\begin{tad}{\tadNombre{itListaInfoUsuario}}
\tadGeneros{itListaInfoUsuario}
\tadUsa{\tadNombre{infoUsuario}}
\tadIgualdadObservacional{it_1}{it_2}{itListaInfoUsuario}{$Siguientes(it_1) \igobs Siguientes(it_2)$}
\tadAlinearFunciones{crearItListaInfoUsuario}{asdasdlistaOrd,natasdasdasd}
\tadGeneradores

\tadOperacion{crearItListaInfoUsuario}{secu(puntero(infoUsuario))}{itListaInfoUsuario}{}

\tadObservadores

\tadOperacion{Siguientes}{itListaInfoUsuario}{secu(puntero(mensaje))}{}

\tadOtrasOperaciones

\tadOperacion{hayMas?}{itListaInfoUsuario}{bool}{}
\tadOperacion{Actual}{itListaInfoUsuario /it}{puntero(infoUsuario)}{hayMas?(it)}
\tadOperacion{Avanzar}{itListaInfoUsuario /it}{itListaInfoUsuario}{hayMas?(it)}


\tadAxiomas[]

\tadAxioma{Siguientes(crearItListaInfoUsuario($l$))}{$l$}
\tadAxioma{hayMas?(it)}{$\neg$ vacia?(Siguientes(it))}
\tadAxioma{Actual(it)}{prim(Siguientes(it))}
\tadAxioma{Avanzar(it)}{crearItListaTemp(fin(Siguientes(it)))}

\end{tad}
